<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
    <head>
        <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
        <title>Website</title>
    </head>

    <body>
        <?php
        session_start();
        if (empty($_SESSION["user_id"])) {
            echo '<a href="Register.php">Register</a> | <a href="Login.php">Login</a><hr />';
        } else {
            echo 'Welcome ' . $_SESSION["user_name"] . ' | <a href="ListDepartments.php">List Departments</a> | <a href="ListCountries.php">List Countries</a> | <a href="Logout.php">Logout</a><hr />';
        }
        ?>
    </body>
</html>

